41. Pro Power BI Desktop /
پدیدآورنده : Adam Aspin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science,Data mining,Database management,Management information systems,Mathematics,Visualization
42. Process algebra with timing
پدیدآورنده : by J.C.M. Baeten, C.A. Middelburg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Discrete-time systems.,System design.
رده :
QA76
.
9
.
S88
B953
2011
43. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
44. Reachability problems
پدیدآورنده : Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R6
2012eb
45. Reachability problems :
پدیدآورنده : Parosh Aziz Abdulla, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
رده :
QA76
.
76
.
V47
P376
9999
46. Recent advances in intelligent engineering systems
پدیدآورنده : Janos Fodor, Ryszard Klempous and Carmen Paz Suarez Araujo )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Expert systems )Computer science( Congresses,، Engineering,، Artificial intelligence,، Engineering mathematics,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(,، Appl. Mathematics/Computational Methods of Engineering
رده :
QA
76
.
76
.
E95
R423
2012
47. Soft Computing in Measurement and Information Acquisition
پدیدآورنده : edited by Leon Reznik, Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Engineering mathematics.,Engineering.,Management information systems.,Mathematics.
48. Statistical multisource-multitarget information fusion
پدیدآورنده : Mahler, Ronald P. S.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Expert systems )Computer science(,Mathematics ، Multisensor data fusion,، Bayesian statistical decision theory,، Automatic tracking,، Signal processing,، Tracking radar,، Target acquisition
رده :
QA
76
.
76
.
E95M34
2007
49. The Problem of Integrable Discretization: Hamiltonian Approach
پدیدآورنده : by Yuri B. Suris.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computer science-- Mathematics.,Differentiable dynamical systems.,Mathematics.
50. The geometry of information retrieval
پدیدآورنده : Van Rijsbergen, Cornelis Joost, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,Mathematics ، Information storage and retrieval systems
رده :
QA
76
.
9
.
M35V26
51. The geometry of information retrieval
پدیدآورنده : Van Rijsbergen, C. J.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Mathematics ، Computer science,Mathematics ، Information storage and retrieval systems
رده :
QA
76
.
9
.
M35
V38
52. The geometry of information retrieval
پدیدآورنده : Van Rijsbergen, C. J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics,، Information storage and retrieval systems-- Mathematics
رده :
QA
76
.
9
.
M35
.
V38
2004
53. Tools for High Performance Computing 2012
پدیدآورنده : edited by Alexey Cheptsov, Steffen Brinkmann, José Gracia, Michael M. Resch, Wolfgang E. Nagel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Mathematics.,Operating systems (Computers)
رده :
QA76
.
88
E358
2013
54. Understanding information systems :
پدیدآورنده : Lee Ratzan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Popular works.,Information science.,Information storage and retrieval systems.,Mathematics, Popular works.,Informatique, Ouvrages de vulgarisation.,Mathématiques, Ouvrages de vulgarisation.,Sciences de l'information.,Systèmes d'information.,Bibliotheken.,Computer science.,Computer science.,Informatiesystemen.,Information science.,Information science.,Information storage and retrieval systems.,Information storage and retrieval systems.,LANGUAGE ARTS & DISCIPLINES-- Library & Information Science-- General.,Mathematics.,Mathematics.
رده :
Z665
.
R366
2004eb
55. Understanding information systems: What they do and why we need them
پدیدآورنده : Lee Ratzan
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (تهران)
موضوع : Information science-Research-Methodology,Information storage and retrieval systems,Computer science-Popular works,Mathematics-Popular works
رده :
Z
665
.
R3
2004
56. Understanding information systems: what they do and why we need them
پدیدآورنده : Ratzan, Lee
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Information science,، Information storage and retrieval systems,Popular works ، Computer science,Popular works ، Mathematics
رده :
Z
665
.
R366
2004
57. dependent Problems in Imaging and Parameter Identification-Time
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering / Computer Graphics ; Mathematics ; MATHEMATICS / Number Systems ; &COMPUTERS / Data Science / General ; COMPUTERS / Software Development
58. Çok Amaçlı Çok Atamalı Ana Düğüm Ağ Tasarımı Problemi Için Metasezgisel Yaklaşımlar
پدیدآورنده : Demir, İbrahim
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Applied mathematics,Computer engineering,Computer science,Design,Information technology,Systems science,Technical communication
59. Çok Amaçlı Çok Atamalı Ana Düğüm Ağ Tasarımı Problemi Için Metasezgisel Yaklaşımlar
پدیدآورنده : Demir, İbrahim
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Applied mathematics,Computer engineering,Computer science,Design,Systems science,Technical communication
